Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
281	A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-18 10:49:57
282	Derived rules for predicative set theory: an application of sheaves Benno van den Berg & Ieke Moerdijk November 16, 2011 Abstract We show how one may establish proof-theoretic results for constructive Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-11-16 08:30:32
283	FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:29
284	Disjunction Property and Finite Model Property for An Intuitionistic Epistemic Logic Yoichi Hirai ∗ Add to Reading List Source URL: yoichihirai.com Language: English - Date: 2013-03-27 09:07:24 Proof theory Symbol Natural deduction Constructible universe Riemann surfaces
285	Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:17 Proof theory Mathematical logic Logic Mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Symbol Sequent Confidence interval
286	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction
287	PDF Document Add to Reading List Source URL: yoichihirai.com Language: English - Date: 2013-03-27 09:07:24 Deductive reasoning Natural deduction Proof theory Module:Convert character width/data
288	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL — “Advanced Topics in Logic: Applications of Logic in Philosophy” (Proof Theory) Add to Reading List Source URL: ucalgary.ca Language: English - Date: 2014-07-27 06:42:54
289	PDF Document Add to Reading List Source URL: www.learnroots.com Language: English Exponentiation Differential equation Function Mathematics Mathematical fallacy Proof theory
290	A Short Tutorial for FoCaLize: Implementing Sets The FoCaLize Team JulyUpdated DecemberContents Add to Reading List Source URL: focalize.ensta-paristech.fr Language: English - Date: 2014-10-14 06:07:24 General topology Set theory Subset Closure OCaml Mathematical proof Support Mathematics Topology Mathematical logic

UPDATE